This paper examines the competing construals of the phrase recovering alcoholic, which, as a Membership Categorization Device, serves to fulfill a commitment to an identity category and at the same time evokes other category-bound activities, often with unintended consequences. Former problem drinkers are routinely referred to by themselves and others as recovering alcoholics, yet they are not ‘recovering’ in the canonical sense of the word, and they participate in a behavior – not drinking – which is a negation of the (...) behavior that originally qualified them as alcoholics. This use of the relatively new identity marker recovering alcoholic may discourage a problem drinker from attempting sobriety, as it implies an unbounded, never-ending period of recovery, unlike recovery from other diseases. (shrink)

We discuss the idea that superpositions in quantum mechanics may involve contradictions or contradictory properties. A state of superposition such as the one comprised in the famous Schrödinger’s cat, for instance, is sometimes said to attribute contradictory properties to the cat: being dead and alive at the same time. If that were the case, we would be facing a revolution in logic and science, since we would have one of our greatest scientific achievements showing that real contradictions exist.We analyze that (...) claim by employing the traditional square of opposition.We suggest that it is difficult to make sense of the idea of contradiction in the case of quantum superpositions. From a metaphysical point of view the suggestion also faces obstacles, and we present some of them. (shrink)

Following J.-Y.Béziau in his pioneer work on non-standard interpretations of the traditional square of opposition, we have applied the abstract structure of the square to study the relation of opposition between states in superposition in orthodox quantum mechanics in [1]. Our conclusion was that such states are contraries, contradicting previous analyzes that have led to different results, such as those claiming that those states represent contradictory properties. In this chapter we bring the issue once again into the center of the (...) stage, but now discussing the metaphysical presuppositions which underlie each kind of analysis and which lead to each kind of result, discussing in particular the idea that superpositions represent potential contradictions. We shall argue that the analysis according to which states in superposition are contrary rather than contradictory is still more plausible. (shrink)

In this work, we focus on a very specific case study: assuming that quantum theories deal with “particles” of some kind, what kind of entity can such particles be? One possible answer, the one we shall examine here, is that they are not the usual kind of object found in daily life: individuals. Rather, we follow a suggestion by Erwin Schrödinger, according to which quantum mechanics poses a revolutionary kind of entity: non-individuals. While physics, as a scientific field, is not (...) concerned with whether entities posited by a specific physical theory are individuals or not, answering this question is part of the quest for a better understanding of physical reality. Here lies, in large measure, the relevance of ontology. (shrink)

In this paper we deal with two applications of the square of opposition to controversial issues in the philosophy of quantum mechanics. The first one concerns the kind of opposition represented by states in superposition. A superposition of “spin up” and “spin down” for a given spatial direction, for instance, is sometimes said to originate particular kinds of opposition such as contradictoriness. The second application concerns the problem of identical particles. Identity and indiscernibility are entangled in discussions of this problem (...) in such a way that a proper conceptual treatment of those issues through the square seems profitable. (shrink)

To gain insight into the reasons that the public may have for endorsing or eschewing pharmacological moral enhancement for themselves or for others, we used empirical tools to explore public attitudes towards these issues. Participants from the United States were recruited via Amazon’s Mechanical Turk and were randomly assigned to read one of several contrastive vignettes in which a 13-year-old child is described as bullying another student in school and then is offered an empathy-enhancing program. The empathy-enhancing program is described (...) as either involving taking a pill or playing a video game on a daily basis for four weeks. In addition, participants were asked to imagine either their own child bullying another student at school, or their own child being bullied by another student. This resulted in a 2 × 2 between-subjects design. In an escalating series of morally challenging questions, we asked participants to rate their overall support for the program; whether they would support requiring participation; whether they would support requiring participation of children who are at higher risk to become bullies in the future; whether they would support requiring participation of all children or even the entire population; and whether they would be willing to participate in the program themselves. We found that people were significantly more troubled by pharmacological as opposed to non-pharmacological moral enhancement interventions. The results indicate that members of the public for the greater part oppose pharmacological moral bioenhancement, yet are open to non-biomedical means to attain moral enhancement. [248 words]. (shrink)

Sören Halldén’s logic of nonsense is one of the most well-known many-valued logics available in the literature. In this paper, we discuss Peter Woodruff’s as yet rather unexplored attempt to advance a version of such a logic built on the top of a constructive logical basis. We start by recalling the basics of Woodruff’s system and by bringing to light some of its notable features. We then go on to elaborate on some of the difficulties attached to it; on our (...) way to offer a possible solution to such difficulties, we discuss the relation between Woodruff’s system and two-dimensional semantics for many-valued logics, as developed by Hans Herzberger. (shrink)

Liar-like paradoxes are typically arguments that, by using very intuitive resources of natural language, end up in contradiction. Consistent solutions to those paradoxes usually have difficulties either because they restrict the expressive power of the language, or else because they fall prey to extended versions of the paradox. Dialetheists, like Graham Priest, propose that we should take the Liar at face value and accept the contradictory conclusion as true. A logical treatment of such contradictions is also put forward, with the (...) Logic of Paradox, which should account for the manifestations of the Liar. In this paper we shall argue that such a formal approach, as advanced by Priest, is unsatisfactory. In order to make contradictions acceptable, Priest has to distinguish between two kinds of contradictions, internal and external, corresponding, respectively, to the conclusions of the simple and of the extended Liar. Given that, we argue that while the natural interpretation of LP was intended to account for true and false sentences, dealing with internal contradictions, it lacks the resources to tame external contradictions. Also, the negation sign of LP is unable to represent internal contradictions adequately, precisely because of its allowance of sentences that may be true and false. As a result, the formal account suffers from severe limitations, which make it unable to represent the contradiction obtained in the conclusion of each of the paradoxes. (shrink)

In his “The simple argument for subclassical logic,” Jc Beall advances an argument that led him to take FDE as the one true logic (the latter point is explicitly made clear in his “FDE as the One True Logic”). The aim of this article is to point out that if we follow Beall’s line of reasoning for endorsing FDE, there are at least two additional reasons to consider that FDE is too strong for Beall’s purposes. In fact, we claim that (...) Beall should consider another weaker subclassical logic as the logic adequate for his project. To this end, we first briefly present Beall’s argument for FDE. Then, we discuss two specific topics that seem to motivate us to weaken FDE. We then introduce a subsystem that will enjoy all the benefits of Beall’s suggestion. (shrink)

This book addresses the logical aspects of the foundations of scientific theories. Even though the relevance of formal methods in the study of scientific theories is now widely recognized and regaining prominence, the issues covered here are still not generally discussed in philosophy of science. The authors focus mainly on the role played by the underlying formal apparatuses employed in the construction of the models of scientific theories, relating the discussion with the so-called semantic approach to scientific theories. The book (...) describes the role played by this metamathematical framework in three main aspects: considerations of formal languages employed to axiomatize scientific theories, the role of the axiomatic method itself, and the way set-theoretical structures, which play the role of the models of theories, are developed. The authors also discuss the differences and philosophical relevance of the two basic ways of aximoatizing a scientific theory, namely Patrick Suppes’ set theoretical predicates and the "da Costa and Chuaqui" approach. This book engages with important discussions of the nature of scientific theories and will be a useful resource for researchers and upper-level students working in philosophy of science. (shrink)

Ever since its beginnings, standard quantum mechanics has been associated with a metaphysical view according to which the theory deals with non-individual objects, i.e., objects deprived of individuality in some sense of the term. We shall examine the grounds of the claim according to which quantum mechanics is so closely connected with a metaphysics of non-individuals. In particular, we discuss the attempts to learn the ‘metaphysical lessons’ required by quantum mechanics coming from four distinct roads: from the formalism of the (...) theory, treating separately the case of the physics and the underlying logic; from the ontology of the theory, understood as the furniture of the world according to the theory; and, at last, we analyze whether a metaphysics of non-individuals is indispensable from a purely metaphysical point of view. We argue that neither non-individuality nor individuality is to be found imposed on us in any of these levels so that it should be seen as a metaphysical addition to the theory, rather than as a lesson from it. (shrink)

This book discusses the philosophical work of Décio Krause. Non-individuality, as a new metaphysical category, was thought to be strongly supported by quantum mechanics. No one did more to promote this idea than the Brazilian philosopher Décio Krause, whose works on the metaphysics and logic of non-individuality are now widely regarded as part of the consolidated literature on the subject. This volume brings together chapters elaborating on the ideas put forward and defended by Krause, developing them in many different directions, (...) commenting on aspects not completely developed so far, and, more importantly, critically addressing their current formulations and defenses by Krause himself. Given that Krause’s ideas do connect directly and indirectly with a wide array of subjects, such as the philosophy of quantum mechanics, more broadly understood, the philosophy of logic and logical philosophy, non-classical logics, metaphysics, and ontology, this volume contains important material for the research on logic and foundations of science, broadly understood. All the invited contributors have already worked with the ideas developed by Décio (some of them still work with them), being also distinct authors and extremely relevant in their areas of expertise. The volume is aimed at philosophers, including those of physics and quantum mechanics. (shrink)

The notion of an individual and the related issues on individuation are topics that appear in the philosophical discussion ever since the antiquity. The idea of an individual thing is intuitively clear: an individual is something of a specific kind that is a unity, having its own identity, and being so that it is possible at least in principle to discern it from any other individual, even of similar species. But when we try to leave the intuitive realm and push (...) this idea to a logical analysis, we find a cluster of problems that are difficult to overcome within standard logico-mathematical contexts. In this work, we shall be concerned with some aspects of this intuitive concept of an individual and on some related facts about individuation taken from recent discussions that arose ever since the inception of quantum theory, pushing the discussion to a “logical” view, which in our opinion is still lacking in the usual debates on such issues. In the final part of the paper, we propose a metaphysics where the notion of identity is substituted, for some objects, by a weaker notion of indiscernibility, and we try to justify such a move. In most of the uses of the expression “quantum theory”, we shall not make explicit the distinction between the non-relativistic and the relativistic approaches, although they of course are quite different, for we think that the problems as we shall present them appear in both versions. But, as the text goes, the context will distinguish between them and these questions will become clear to the reader. (shrink)

Traditionally, being a realist about something means believing in the independent existence of that something. In this line of thought, a scientific realist is someone who believes in the objective existence of the entities postulated by our best scientific theories. In metaphysical terms, what does that mean? In ontological terms, i.e., in terms of what exists, scientific realism can be understood as involving the adoption of a scientifically informed ontology. But according to some philosophers, a realistic attitude must go beyond (...) ontology. The way in which this requirement has been understood involves providing a metaphysics for the entities postulated by science, that is, answering questions about the nature of what ontology admits to exist. We discuss how two fashionable approaches face the challenge of providing a metaphysics for science: a form of naturalism and the Viking/Toolbox approach. Finally, we present a third way, which adopts the best of both approaches: the meta-Popperian method, which focuses on discarding the wrong alternatives, or better saying, the metaphysical profiles incompatible with certain theories. We present the meta-Popperian method, a metametaphysical method capable of objectively assessing which metaphysical profiles are incompatible with certain scientific theories. For this, we will use quantum mechanics as a case study, presenting some previously obtained results. As our focus is on methodological questions about the relationship between metaphysics and science; with this method, we can see how science can be used to avoid error in metaphysical issues. In our opinion, this would be a way to develop a productive relationship between science and metaphysics. (shrink)

Change of logic is typically taken as requiring that the meanings of the connectives change too. As a result, it has been argued that legitimate rivalry between logics is under threat. This is, in a nutshell, the meaning‐variance argument, traditionally attributed to Quine. In this paper, we present a semantic framework that allows us to resist the meaning‐variance claim for an important class of systems: classical logic, the logic of paradox and strong Kleene logic. The major feature of the semantics (...) is that the connectives have the same meanings in these systems, so that the meaning‐variance argument is straightforwardly blocked. We discuss the effects of this semantics for two uses of the argument of meaning variance, and also consider its impact on related issues. (shrink)

In this paper we consider the phenomenon of superpositions in quantum mechanics and suggest a way to deal with the idea in a logical setting from a syntactical point of view, that is, as subsumed in the language of the formalism, and not semantically. We restrict the discussion to the propositional level only. Then, after presenting the motivations and a possible world semantics, the formalism is outlined and we also consider within this schema the claim that superpositions may involve contradictions, (...) as in the case of the Schrödinger's cat, which is both alive and dead. We argue that this claim is a misreading of the quantum case. Finally, we sketch a new form of quantum logic that involves three kinds of negations and present the relationships among them. The paper is a first approach to the subject, introducing some main guidelines to be developed by a `syntactical' logical approach to quantum superpositions. (shrink)

In this basically expository paper we discuss the role oflogic and mathematics in researches concerning the ontology of scientific theories, and we consider the particular case of quantum mechanics. We argue that systems of logic in general, and classical logic in particular, may contribute substantially with the ontology of any theory that has this logic in its base. In the case of quantum mechanics, however, from the point of view of philosophical discussions conceming identity and individuality, those contributions may not (...) be welcome for a specific interpretation, and an altemative system of logic perhaps could be used instead of a classical system. In this sense, we argue that the logic and ontology of a scientific theory may be seen as mutually inftuencing each other. On the one hand, logic contributes to shape the general features of the ontology of a theory; on the other hand, the theory also puts constraints on the possible understanding of ontology and, respectively, on possible systems of logic that may be the underlying logic ofthe theory. (shrink)

Nonreflexive quantum mechanics is a formulation of quantum theory based on a non- classical logic termed nonreflexive logic. In these logics, the standard notion of identity, as encapsulated in classical logic and set theories, does not hold in full. The basic aim of this kind of approach to quantum mechanics is to take seriously the claim made by some authors according to whom quantum particles are non-individuals in some sense, and also to take into account the fact that they may (...) be absolutely indistinguishable. The nonreflexive formulation of quantum theory assumes these features of the objects already at the level of the underlying logic, so that no use is required of symmetrization postulates or other mathematical devices that serve to pretend that the objects are indiscernible. Here, we present the ideas of the development of nonreflexive quantum mechanics and discuss some philosophical motivations and consequences of it. (shrink)

In this paper, we generalize the ordered-pair semantics advanced by Matthew Clemens for the Logic of Paradox to n-tuple semantics, for each fixed n. Moreover, we show that the resulting semantics can accommodate not only LP, but also classical logic as well as strong Kleene logic depending on the set of designated values that one chooses. Building on the technical observations, we offer intuitively plausible readings for the semantics, and we also discuss some weaknesses of the original intuitive reading advanced (...) by Clemens. (shrink)

This chapter argues that the general philosophy of science should learn metaphilosophical lessons from the case of metaphysical underdetermination, as it occurs in non-relativistic quantum mechanics. Section presents the traditional discussion of metaphysical underdetermination regarding the individuality and non-individuality of quantum particles. Section discusses three reactions to it found in the literature: eliminativism about individuality; conservatism about individuality; eliminativism about objects. Section wraps it all up with metametaphysical considerations regarding the epistemology of metaphysics of science.

Journal Name: Semiotica Issue: Ahead of print.

In this paper we consider the notions of structure and models within the semantic approach to theories. To highlight the role of the mathematics used to build the structures which will be taken as the models of theories, we review the notion of mathematical structure and of the models of scientific theories. Then, we analyse a case-study and argue that if a certain metaphysical view of quantum objects is adopted, namely, that which sees them as non-individuals, then there would be (...) strong reasons to ask for a different mathematical framework for describing the structures that would be the models of the corresponding theory. In departing from the standard frameworks, we hope to bring to the scene, within the scope of the semantic approach, the importance of paying attention to some fundamental concepts usually only superficially touched by philosophers of science. (shrink)

In this paper we discuss two approaches to the axiomatization of scientific theories in the context of the so called semantic approach, according to which (roughly) a theory can be seen as a class of models. The two approaches are associated respectively to Suppes’ and to da Costa and Chuaqui’s works. We argue that theories can be developed both in a way more akin to the usual mathematical practice (Suppes), in an informal set theoretical environment, writing the set theoretical predicate (...) in the language of set theory itself or, more rigorously (da Costa and Chuaqui), by employing formal languages that help us in writing the postulates to define a class of structures. Both approaches are called internal , for we work within a mathematical framework, here taken to be first-order ZFC. We contrast these approaches with an external one, here discussed briefly. We argue that each one has its strong and weak points, whose discussion is relevant for the philosophical foundations of science. (shrink)

In this paper we argue that physical theories, including quantum mechanics, refer to some kind of ‘objects’, even if only implicitly. We raise questions about the logico-mathematical apparatuses commonly employed in such theories, bringing to light some metaphysical presuppositions underlying such apparatuses. We point out to some incongruities in the discourse holding that quantum objects would be entities of some ‘new kind’ while still adhering to the logico-mathematical framework we use to deal with classical objects. The use of such apparatus (...) would hinder us from being in complete agreement with the ontological novelties the theories of quanta seem to advance. Thus, we join those who try to investigate a ‘logic of quantum mechanics’, but from a different point of view: looking for a formal foundation for a supposed new ontology. As a consequence of this move, we can revisit Einstein’s ideas on physical reality and propose that, by considering a new kind of object traditionally termed ‘non-individuals’, it is possible to sustain that they still obey some of Einstein’s conditions for ‘physical realities’, so that it will be possible to talk of a ‘principle of separability’ in a sense which is not in complete disagreement with quantum mechanics. So, Einstein’s departure from quantum mechanics might be softened at least concerning a form of his realism, which sees separated physical objects as distinct ‘physical realities’. (shrink)

This handbook presents a comprehensive introduction to the core areas of philosophy of education combined with an up-to-date selection of the central themes. It includes 95 newly commissioned articles that focus on and advance key arguments; each essay incorporates essential background material serving to clarify the history and logic of the relevant topic, examining the status quo of the discipline with respect to the topic, and discussing the possible futures of the field. The book provides a state-of-the-art overview of philosophy (...) of education, covering a range of topics: Voices from the present and the past deals with 36 major figures that philosophers of education rely on; Schools of thought addresses 14 stances including Eastern, Indigenous, and African philosophies of education as well as religiously inspired philosophies of education such as Jewish and Islamic; Revisiting enduring educational debates scrutinizes 25 issues heavily debated in the past and the present, for example care and justice, democracy, and the curriculum; New areas and developments addresses 17 emerging issues that have garnered considerable attention like neuroscience, videogames, and radicalization. The collection is relevant for lecturers teaching undergraduate and graduate courses in philosophy of education as well as for colleagues in teacher training. Moreover, it helps junior researchers in philosophy of education to situate the problems they are addressing within the wider field of philosophy of education and offers a valuable update for experienced scholars dealing with issues in the sub-discipline. Combined with different conceptions of the purpose of philosophy, it discusses various aspects, using diverse perspectives to do so. Contributing Editors: Section 1: Voices from the Present and the Past: Nuraan Davids Section 2: Schools of Thought: Christiane Thompson and Joris Vlieghe Section 3: Revisiting Enduring Debates: Ann Chinnery, Naomi Hodgson, and Viktor Johansson Section 4: New Areas and Developments: Kai Horsthemke, Dirk Willem Postma, and Claudia Ruitenberg. (shrink)

In one of his papers, JC Beall advanced a new and interesting interpretation of Weak Kleene logic, in terms of on-topic/off-topic. In brief, Beall suggests to read the third value as off-topic, whereas the two classical values are read as true and on-topic and false and on-topic. Building on Beall’s new interpretation, the aim of this paper is threefold. First, we discuss two motivations to enrich Beall’s interpretation, and offer an alternative semantic framework that reflects our motivations. Second, by making (...) use of our new framework, we will offer a new interpretation of the logic of Catuskoti which combines Beall’s proposal of having FDE as the correct logic with the on-topic/off-topic divide. Finally, we will offer a general result that will allow us to make sense of a family of infectious logics in terms of Beall’s on-topic/off-topic reading. (shrink)

The Belief‐Desire model (the B‐D model) of reasons for action has been subject to much criticism lately. Two of the most elaborate and trenchant expositions of such criticisms are found in recent works by Jonathan Dancy (2000) and Fred Stoutland (2002). In this paper we set out to respond to the central pieces of their criticisms. For this purpose it is essential to sort out and regiment different senses in which the term ‘reason’ may be used. It is necessary to (...) go beyond common philosophical practice and distinguish not merely between two such different uses but to make a tripartite distinction. Our aim is largely conciliatory: we grant the main parts of the points made by Stoutland and Dancy but argue that once the B‐D model has been properly stated, and different uses of the term ‘reason’ sufficiently regimented, the B‐D proponent is able to accommodate their respective criticisms within the framework of the B‐D model and thereby undermine their case against the model. (shrink)

The article analyzes John McTaggart’s argument for unreality of time, a classical piece of fin de siècleBrittish idealist metaphysics. Having accepted the distinction between A-series and B-series, one can only resist McTaggartian conclusion by denying at least one of the two: that B-series alone is insufficient for change or that A-series implies a contradiction. Hugh Mellor’s criticism is taken to represent thisstrategy. The lesson to be learnt from this debate is that if the world is conceived as a mere totality (...) of facts no change could be real in such a world, and so McTaggart would right. However, if the reality of things determining those facts is recognized as more fundamental, it would not be denied that at least some of these things undergo genuine temporal change, and time as a dimension of this real change cannot be rejected. (shrink)

We consider the claim by Dorato and Morganti 591–610) that primitive individuality should be attributed to the entities dealt with by non-relativistic quantum mechanics. There are two central ingredients in the proposal: in the case of non-relativistic quantum mechanics, individuality should be taken as a primitive notion and primitive individuality is naturalistically acceptable. We argue that, strictly understood, naturalism faces difficulties in helping to provide a theory with a unique principle of individuation. We also hold that even when taken in (...) a loose sense, naturalism does not provide any sense in which one could hold that quantum mechanics endorses primitive individuality over non-individuality. Rather, we argue that non-individuality should be preferred based on the grounds that such a view fits better the claims of the theory. (shrink)

Jeg diskuterer i denne artikel en række principielle spørgsmål angående det der kaldes «religionens genkomst» i det moderne demokrati. Mit hovedeksempel er den såkaldte «Muhammed-krise», som stadigvæk debatte­res med stor intensitet i nationale og internationale sammenhænge. De tre hovedspørg­smål lyder: Hvilken plads kan religiøse synspunkter og ytringer gøre krav på i den demokratiske offentlighed? Kan vi indholdsmæssigt fastsætte grænsen for religiøs blasfemi ved lov eller står den til løbende demokratisk debat? I hvilken grad kan reli­giøse minoritetsgrupper kræve anerkendelse fra – (...) og beskyttelse mod – majoritetskultu­ren i moderne, liberale demokratier? Til det første spørgsmål svarer jeg med Jürgen Habermas at religiøse grupper bør forsøge at oversætte deres holdninger til ikke-religiøse argumenter, samtidig med at denne oversættelse af forskellige årsager ikke kan fremtvin­ges retsligt eller afkræves som betingelse for demokratisk deltagelse. Mht. til det andet spørgsmål argumenterer jeg – igen med Habermas – for, at den konkrete anvendelse af abstrakte retsprincipper som ytringsfrihed og religionsfrihed kræver åben, demokratisk debat med bred deltagelse for athave legitimitet. Resultatet af denne debat kan godtvære et strengt syn på, hvad der tæller som blasfemisk, men muligheden for at kritisere dette syn – eller for generel religionskritik – kan ikke undertrykkesuden at gå kompromis med det liberale demokratis grundprincipper. Som svar på det tredje spørgsmål, og som et kritisk supplement til Habermas, fremfører jeg med Axel Honneth, at samfundsmæssig integration ikke skabes af demokratiske debatter alene. Der kræves også en vis før-dis­kursiv atmosfære af solidaritet: Religiøse minoritetsgrupper kan ganske vist ikke kræve juridisk beskyttelse af religiøse følelser, men de kan påpege «asymmetriske anerkendel­sesforhold», f.eks. ensidigt negative fremstillinger i medierne, som forringer deres mulighed for at bidrage til samfundet som anerkendte og anerkendende medborgere. (shrink)

The Belief‐Desire model (the B‐D model) of reasons for action has been subject to much criticism lately. Two of the most elaborate and trenchant expositions of such criticisms are found in recent works by Jonathan Dancy (2000) and Fred Stoutland (2002). In this paper we set out to respond to the central pieces of their criticisms. For this purpose it is essential to sort out and regiment different senses in which the term ‘reason’ may be used. It is necessary to (...) go beyond common philosophical practice and distinguish not merely between two such different uses but to make a tripartite distinction. Our aim is largely conciliatory: we grant the main parts of the points made by Stoutland and Dancy but argue that once the B‐D model has been properly stated, and different uses of the term ‘reason’ sufficiently regimented, the B‐D proponent is able to accommodate their respective criticisms within the framework of the B‐D model and thereby undermine their case against the model. (shrink)